Câu ví dụ
- Máy tính là những máy logic nghiêm ngặt với ý nghĩa thông thường.
- Hệ tệp này truy nhập các tệp trên một máy khác như thể đó là một phần của một máy logic.
- “Khi làm việc với người khác, hãy nhớ rằng bạn không làm việc với các cỗ máy logic, mà là những sinh vật có cảm xúc.”
- Sau này Alan Turing đã đưa ra một diễn giải những kết quả của Godel bằng cách đặt chúng trên một cơ sở thuật toán: Có những con số và hàm số không thể tính toán được bằng bất kỳ một chiếc máy logic nào.
